منابع مشابه
Postulates for revising BDI structures
The process of rationally revising beliefs in the light of new information is a topic of great importance and long-standing interest in artificial intelligence. Moreover, significant progress has been made in understanding the philosophical, logical, and computational foundations of belief revision. However, very little research has been reported with respect to the revision of other mental sta...
متن کاملRevising conflicting intention sets in BDI agents
Autonomous agents typically have several goals they are pursuing simultaneously. Even if the goals themselves are not necessarily inconsistent, choices made about how to pursue each of these goals may well result in a set of intentions which are conflicting. A rational autonomous agent should be able to reason about and modify its set of intentions to take account of such issues. This paper pre...
متن کاملRationality Postulates for Induction
I study the process of inductive hypothesis formation from two perspectives: finding general rules that explain given specific evidence, and finding general rules that are confirmed by the evidence. Both forms of hypothesis formation are axiomatised on the metalevel of consequence relations, which provides us with a set of rationality postulates for various forms of induction.
متن کاملPostulates for Conditional Belief Revision
In this paper, we present a scheme of postulates for revising epistemic states by condit ional beliefs. These postulates are supported mainly by fol lowing the specific, non-classical nature of conditionals, and the aim of preserving condi t ional beliefs is achieved by studying specific interactions between conditionals, represented properly by two relations. Because one of the postulates clai...
متن کاملPostulates for Revocation Schemes
In access control frameworks with the possibility of delegating permissions and administrative rights, delegation chains can form. There are different ways to treat these delegation chains when revoking rights, which give rise to different revocation schemes. Hagström et al. [11] proposed a framework for classifying revocation schemes, in which the different revocation schemes are defined graph...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Synthese
سال: 2010
ISSN: 0039-7857,1573-0964
DOI: 10.1007/s11229-010-9735-1